Functions Definable by Numerical Set-Expressions
نویسندگان
چکیده
A numerical set-expression is a term specifying a cascade of arithmetic and logical operations to be performed on sets of non-negative integers. If these operations are confined to the usual Boolean operations together with the result of lifting addition to the level of sets, we speak of additive circuits. If they are confined to the usual Boolean operations together with the result of lifting addition and multiplication to the level of sets, we speak of arithmetic circuits. In this paper, we investigate the definability of sets and functions by means of additive and arithmetic circuits, occasionally augmented with additional operations.
منابع مشابه
Derivational Minimalism
A basic idea of the transformational tradition is that constituents move. More recently, there has been a trend towards the view that all features are lexical features. And in recent “minimalist” grammars, structure building operations are assumed to be feature driven. A simple grammar formalism with these properties is presented here and briefly explored. Grammars in this formalism can define ...
متن کاملBifurcation Sets of Definable Functions in O-minimal Structures
In this work we answer a question stated by Loi and Zaharia concerning trivialization of definable functions off the bifurcation set: we prove that definable functions are trivial off the bifurcation set, and the trivialization can be chosen definable.
متن کاملDefinable Morse Functions in a Real Closed Field
Let X be a definably compact definable C manifold and 2 ≤ r < ∞. We prove that the set of definable Morse functions is open and dense in the set of definable C functions on X with respect to the definable C topology.
متن کاملEquivariant Definale Morse Functions in Definably Complete Structures
Let G be a compact definable C group, X a compact affine definable CG manifold and 2 ≤ r < ∞. We prove that the set of equivariant definable Morse functions on X whose loci are finite unions of nondegenerate critical orbits is open and dense in the set of G invariant definable C functions with respect to the definable C topology.
متن کاملZero-set Property of O-minimal Indefinitely Peano Differentiable Functions
Given an o-minimal expansion M of a real closed field R which is not polynomially bounded. Let P∞ denote the definable indefinitely Peano differentiable functions. If we further assume that M admits P∞ cell decomposition, each definable closed set A ⊂ Rn is the zero-set of a P∞ function f : Rn → R. This implies P∞ approximation of definable continuous functions and gluing of P∞ functions define...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- J. Log. Comput.
دوره 23 شماره
صفحات -
تاریخ انتشار 2013